Reasoning from inconsistency: a field exploration
نویسندگان
چکیده
منابع مشابه
Reasoning from inconsistency to consistency.
This article presents a theory of how individuals reason from inconsistency to consistency. The theory is based on 3 main principles. First, individuals try to construct a single mental model of a possibility that satisfies a current set of propositions, and if the task is impossible, they infer that the set is inconsistent. Second, when an inconsistency arises from an incontrovertible fact, th...
متن کاملMaking inconsistency respectable: a logical framework for inconsistency in reasoning
We claim there is a fundamental diierence between the way humans handle inconsistency and the way it is currently handled in formal logical systems: To a human, resolving inconsistencies is not necessarily done by \restoring" consistency but by supplying rules telling one how to act when the inconsistency arises. For artiicial intelligence there is an urgent need to revise the view that inconsi...
متن کاملA General Framework for Reasoning about Inconsistency
Numerous logics have been developed for reasoning about inconsistency which differ in (i) the logic to which they apply, and (ii) the criteria used to draw inferences. In this paper, we propose a general framework for reasoning about inconsistency in a wide variety of logics including ones for which inconsistency resolution methods have not yet been studied (e.g. various temporal and epistemic ...
متن کاملReasoning under inconsistency: A forgetting-based approach
In this paper, a fairly general framework for reasoning from inconsistent propositional basesis defined. Variable forgetting is used as a basic operation for weakening pieces of infor-mation so as to restore consistency. The key notion is that of recoveries, which are sets ofvariables whose forgetting enables restoring consistency. Several criteria for defining pre-ferred recove...
متن کاملStrong Inconsistency in Nonmonotonic Reasoning
Minimal inconsistent subsets of knowledge bases play an important role in classical logics, most notably for repair and inconsistency measurement. It turns out that for nonmonotonic reasoning a stronger notion is needed. In this paper we develop such a notion, called strong inconsistency. We show that—in an arbitrary logic, monotonic or not—minimal strongly inconsistent subsets play the same ro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Psychologica Belgica
سال: 2005
ISSN: 2054-670X,0033-2879
DOI: 10.5334/pb-45-1-1